State and proof of Division Algorithm